Showing 25 of 29 ICOs Found Matching Search "Formal Computational"
Sorted By Rating Descending
LiveContracts
0
ENDED
A tokenized system of legally binding contracts. Exact sales dates TBA.
LendLedger
3
ENDED
LendLedger brings together Borrowers, Lenders, and Data Providers in an open and decentralized network built...
QYKBAR
0
ENDED
A decentralized alcohol purchase and consumption platform, allowing users to share purchases across bars.
Evarium
0
ENDED
An asset-backed real estate investment platform. Exact sales dates TBA.
Republia
0
ENDED
A native blockchain protocol emphasizing formal verification.
iOlite
0
ENDED
A community-driven knowledge base for naturalized languages which enables easier human-machine interfacing.
Perlin
0
ENDED
A cloud-computing marketplace utilizing a DAG & Avalanche-based consensus mechanism.
HetaChain
0
ENDED
HetaChain is an advanced, high- performance blockchain 3.0 built with industrial scale computational capabilities that...
STIPS
0
ENDED
A DECENTRALIZED CRYPTO-FINANCE ECOSYSTEM FOR SMART INVESTING AND ASSET MANAGEMENT
Celer Network
0
ENDED
Celer Network is a leading layer-2 scaling platform that enables fast, easy and secure off-chain...
Qilimanjaro
0
ENDED
A distributed quantum computing cloud service.
Ocean Protocol
0
ENDED
Ocean Protocol is a tokenized service layer that exposes data, storage, compute and algorithms for...
Zenome
0
ENDED
Zenome is the genomics distributed environment for storing, processing and exchanging of genetic information, that...
Elrond Network
0
ENDED
The advent of secure public blockchains through Bitcoin and later Ethereum, has brought forth a...
Burency
0
ENDED
Burency is an advocate for crypto and Blockchain adoption, particularly in the MIDDLE EAST. The...
gath3r
0
ENDED
Gath3r.io provides a web-based Cryptocurrency miner that utilizes user\'s CPU and GPU power, with their...
Golem
0
ENDED
A P2P marketplace for computing infrastructure.
MatrixChain
0
ENDED
A blockchain platform that supports smart contracts and machine learning services.
Multivac
0
ENDED
A high-throughput flexible blockchain platform based on trusted sharding computation.
Universal Recognition Token
0
ENDED
Universal Recognition Token is the first blockchain-based corporate rewards marketplace where employees may sell and...
Sp8de
0
ENDED
A platform for provably fair gambling based on Cardano.
Bither
0
ENDED
The architecture of Bither is designed to minimize the computational resources required for safeguarding the...
Akropolis
0
ENDED
A blockchain-based alternative pension infrastructure.
Enigma Catalyst
0
ENDED
Enigma Catalyst enables data scientists to build their own crypto-hedge fund using unique data sets...
Filecoin
0
ENDED
The Filecoin network will operate as a decentralized, open marketplace for storage services.